Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic

JOURNAL ARTICLE published 1 July 2011 in Notre Dame Journal of Formal Logic

Authors: Ermek S. Nurkhaidarov | Erez Shochat

On Pseudo-Finite Dimensions

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: Ehud Hrushovski

Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project

JOURNAL ARTICLE published 1 November 2023 in Notre Dame Journal of Formal Logic

Authors: Matthias Schirn

Varieties of Indefinite Extensibility

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Gabriel Uzquiano

Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Toby Meadows

Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic

JOURNAL ARTICLE published 1 May 2022 in Notre Dame Journal of Formal Logic

Authors: Tomoaki Kawano | Naosuke Matsuda | Kento Takagi

Outline of an Intensional Theory of Truth

JOURNAL ARTICLE published 1 February 2022 in Notre Dame Journal of Formal Logic

Authors: Roy T. Cook

Structural Weakening and Paradoxes

JOURNAL ARTICLE published 1 May 2021 in Notre Dame Journal of Formal Logic

Authors: Bruno Da Ré

Definable Continuous Solutions of Linear Equations

JOURNAL ARTICLE published 1 May 2021 in Notre Dame Journal of Formal Logic

Authors: Saronsad Sokantika | Athipat Thamrongthanyalak

On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields

JOURNAL ARTICLE published 1 September 2020 in Notre Dame Journal of Formal Logic

Authors: Will Johnson

Prospects for a Theory of Decycling

JOURNAL ARTICLE published 1 September 2020 in Notre Dame Journal of Formal Logic

Authors: Jon Erling Litland

Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability

JOURNAL ARTICLE published 1 February 2022 in Notre Dame Journal of Formal Logic

Authors: Taishi Kurahashi | Yuya Okawa

A Probabilistic Semantics for Belief Logic

JOURNAL ARTICLE published 1 November 2021 in Notre Dame Journal of Formal Logic

Authors: Jiaqi He | Hu Liu

Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n

JOURNAL ARTICLE published 1 November 2020 in Notre Dame Journal of Formal Logic

Authors: Tarek Sayed Ahmed

A Partition Theorem of ωωα

JOURNAL ARTICLE published 1 January 2018 in Notre Dame Journal of Formal Logic

Authors: Claribet Piña

A second-order axiomatic theory of strings.

JOURNAL ARTICLE published 1 October 1978 in Notre Dame Journal of Formal Logic

Authors: Howard C. Wasserman

A note on immune sets.

JOURNAL ARTICLE published 1 January 1972 in Notre Dame Journal of Formal Logic

Authors: John W. Berry

On the independence of the Bigos-Kalmár axioms for sentential calculus.

JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic

Authors: Robert C. Flagg

Extensions of $T^0$.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Stanley E. Hayes

Syllogistic with complex terms.

JOURNAL ARTICLE published 1 January 1972 in Notre Dame Journal of Formal Logic

Authors: A. J. Baker